大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

0
索取号：
作者：Lukasiewicz、 Thomas.、Sali、 Attila.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings

0
索取号：
作者：Choy、 Oliver C. S.、Cheung、 Ray C. C.、Athanas、 Peter.、Sano、 Kentaro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Applied Computational Intelligence in Engineering and Information Technology [electronic resource] : Revised and Selected Papers from the 6th IEEE International Symposium on Applied Computational Intelligence and Informatics SACI 2011

0
索取号：
作者：Precup、 Radu-Emil.、Kov谩cs、 Szilveszter.、Preitl、 Stefan.、Petriu、 Emil M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Algorithms for Sensor Systems [electronic resource] : 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbr眉cken, Germany, September 8-9, 2011, Revised Selected Papers

0
索取号：
作者：Erlebach、 Thomas.、Nikoletseas、 Sotiris.、Orponen、 Pekka.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Livshits、 Benjamin.、Scandariato、 Riccardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Algebraic and Numeric Biology [electronic resource] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

0
索取号：
作者：Horimoto、 Katsuhisa.、Nakatsui、 Masahiko.、Popov、 Nikolaj.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Bioinformatics for Personalized Medicine [electronic resource] : 10th Spanish Symposium, JBI 2010, Torremolinos, Spain, October 27-29, 2010. Revised Selected Papers

0
索取号：
作者：Freitas、 Ana T.、Navarro、 Arcadi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Parameterized and Exact Computation [electronic resource] : 6th International Symposium, IPEC 2011, Saarbr眉cken, Germany, September 6-8, 2011. Revised Selected Papers

0
索取号：
作者：Marx、 D谩niel.、Rossmanith、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Software Engineering Techniques [electronic resource] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

0
索取号：
作者：Szmuc、 Tomasz.、Szpyrka、 Marcin.、Zendulka、 Jaroslav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Current Trends in Web Engineering [electronic resource] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers

0
索取号：
作者：Harth、 Andreas.、Koch、 Nora.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

The Correctness-by-Construction Approach to Programming [electronic resource]

0
索取号：
作者：Kourie、 Derrick G.、Watson、 Bruce W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Foundations and Practice of Security [electronic resource] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

0
索取号：
作者：Garcia-Alfaro、 Joaquin.、Lafourcade、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

0
索取号：
作者：Joshi、 Rajeev.、M眉ller、 Peter.、Podelski、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

0
索取号：
作者：Russo、 Claudio.、Zhou、 Neng-Fa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Self-Organization in Electrochemical Systems I [electronic resource] : General Principles of Self-organization. Temporal Instabilities

0
索取号：
作者：Orlik、 Marek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Autonomous Mini Robots [electronic resource] : Proceedings of the 6-th AMiRE Symposium

0
索取号：
作者：R眉ckert、 Ulrich.、Joaquin、 Sitte.、Felix、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院